1. Agent technology from a formal perspectiv
پدیدآورنده: / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software)--Design,Formal methods (Computer science)
رده :
QA
,
76
.
76
,.
I58
,
A36
,
2005
2. Agent technology from a formal perspective
پدیدآورنده: / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
3. Agent technology from a formal perspective
پدیدآورنده: edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
4. Agent technology from a formal perspective
پدیدآورنده: / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
5. Agent technology from a formal perspective
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Intelligent agents (Computer software) ; Design. ; Formal methods (Computer science) ;
6. Agent technology from a formal perspective
پدیدآورنده: / Christopher A. Rouff with Michael Hinchey
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software) -- Design,Formal methods (computer science)
رده :
QA
76
.
76
.
I58A36
2005
7. Formal models of agents
پدیدآورنده: John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Intelligent agents (Computer software)
8. Formal models of agents : ESPRIT Project ModelAge final Workshop : selected papers
پدیدآورنده: John-Jules Ch. Meyer, Pierre-Yves Schobbens )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1760
9. Teamwork in multi-agent systems
پدیدآورنده: Barbara Dunin - Keplicz, Rineke Verbrugge
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence
رده :
QA
،
76
.
76
،.
D8
،
2010
10. Teamwork in multi-agent systems
پدیدآورنده: / Barbara Dunin-Keplicz, Rineke Verbrugge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence,Electronic books., local
رده :
QA76
.
76
.
I58D98
2010
11. Teamwork in multi-agent systems
پدیدآورنده: Barbara Dunin-Keplicz, Rineke Verbrugge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Formal methods (Computer science),Intelligent agents (Computer software)
12. Teamwork in multi-agent systems : a formal approach
پدیدآورنده: Dunin-Keplicz, Barbara.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Intelligent agents )Computer software(,، Formal methods )Computer science(,، Artificial intelligence
رده :
QA
76
.
76
.
I58
D98
2010
